1

Abduction in argumentation frameworks

Year:
2018
Language:
english
File:
PDF, 1.79 MB
english, 2018
2

Abduction, conversational implicature and misleading in human dialogues

Year:
2016
Language:
english
File:
PDF, 136 KB
english, 2016
4

Negation as failure in the head

Year:
1998
Language:
english
File:
PDF, 2.23 MB
english, 1998
5

Brave induction: a logical framework for learning from

Year:
2009
Language:
english
File:
PDF, 563 KB
english, 2009
6

Equivalence issues in abduction and induction

Year:
2009
Language:
english
File:
PDF, 225 KB
english, 2009
7

Prioritized logic programming and its application to commonsense reasoning

Year:
2000
Language:
english
File:
PDF, 284 KB
english, 2000
8

Learning from interpretation transition

Year:
2014
Language:
english
File:
PDF, 966 KB
english, 2014
9

Computing extended abduction through transaction programs

Year:
1999
Language:
english
File:
PDF, 209 KB
english, 1999
10

An abductive framework for computing knowledge base updates

Year:
2003
Language:
english
File:
PDF, 313 KB
english, 2003
14

A fixpoint characterization of abductive logic programs

Year:
1996
Language:
english
File:
PDF, 1.68 MB
english, 1996
16

Disjunctive Abduction

Year:
2019
File:
PDF, 1.41 MB
2019
18

Disjunctive Abduction

Year:
2019
Language:
english
File:
PDF, 1.41 MB
english, 2019
20

Ordering default theories and nonmonotonic logic programs

Year:
2005
Language:
english
File:
PDF, 338 KB
english, 2005
23

Partial deduction in disjunctive logic programming

Year:
1997
Language:
english
File:
PDF, 917 KB
english, 1997
25

Partial evaluation of queries in deductive databases

Year:
1988
Language:
english
File:
PDF, 412 KB
english, 1988
26

Coordination in answer set programming

Year:
2008
Language:
english
File:
PDF, 222 KB
english, 2008
27

Inductive equivalence in clausal logic and

Year:
2011
Language:
english
File:
PDF, 826 KB
english, 2011
28

Induction from answer sets in nonmonotonic logic programs

Year:
2005
Language:
english
File:
PDF, 220 KB
english, 2005
29

Paraconsistent Stable Semantics for Extended Disjunctive Programs

Year:
1995
Language:
english
File:
PDF, 1007 KB
english, 1995
30

Learning Inference Rules from Data

Year:
2019
Language:
english
File:
PDF, 1.49 MB
english, 2019